ISBN
.nu
search for books and compare prices
Words in title
Author
ISBN
Search
Advanced search
displaying 1 to 1 | at end
Michael Leuschel
(2)
Works include:
Abstract State Machines, Alloy, B, Vdm, and Z: Third International Conference, Abz 2012, Pisa, Italy, June 18-21, 2012. Proceedings
and
Logic Based Program Synthesis and Transportation: 12th International Workshop, Lopstr 2002, Madrid, Spain, September 17-20, 2002 : Proceedings
displaying 1 to 1 | at end